$\forall$$T$:Type, $c$:$T$, $i$:Id. $\vdash$${\it es}$.(vartype($i$;"x") $\subseteq$r $T$) c$\wedge$ $\forall$$e$@$i$. ("x" when $e$) = $c$